Calculus of structures - PDFSEARCH.IO - Document Search Engine

Calculus of structures
Results: 64

#	Item
1	ON ANALYTICITY IN DEEP INFERENCE PAOLA BRUSCOLI AND ALESSIO GUGLIELMI In this note, we discuss the notion of analytic inference rule for propositional logics in the calculus of structures (CoSCoS generalises the s Add to Reading List Source URL: cs.bath.ac.uk - Date: 2016-12-16 05:02:50
2	28 JuneNon-commutativity and MELL in the Calculus of Structures Alessio Guglielmi and Lutz Straßburger Technische Universit¨ Add to Reading List Source URL: www.ki.inf.tu-dresden.de - Date: 2005-09-20 10:33:34
3	Resolution in the Calculus of Structures Add to Reading List Source URL: cs.bath.ac.uk - Date: 2007-12-18 10:37:38
4	RDP 2015, Jun. 30, 2015, WCMCS, Warsaw. From syntax to semantics of Dependent Type Theories - Formalized by Vladimir Voevodsky Add to Reading List Source URL: rdp15.mimuw.edu.pl Language: English - Date: 2015-07-08 00:48:54 Mathematics Academia Mathematical logic Type theory Abstract algebra Logic in computer science Mathematical structures Formal methods Intuitionistic type theory Expression Lambda calculus Universal algebra
5	A On the Power of Substitution in the Calculus of Structures Novak Novakovi´c, Inria Lutz Straßburger, Inria There are two contributions in this paper. First, we give a direct proof of the known fact that Frege system Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2015-04-07 12:31:04 Logic Mathematical logic Propositional calculus Proof theory Automated theorem proving Logical truth Boolean algebra Frege system Substitution Natural deduction Hilbert system Sequent
6	The Focused Calculus of Structures Kaustuv Chaudhuri, Nicolas Guenot, and Lutz Straßburger INRIA & LIX/École Polytechnique Route de Saclay, 91128 Palaiseau, France {kaustuv,nguenot,lutz}@lix.polytechnique.fr Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2011-06-22 07:54:11 Logic Proof theory Mathematical logic Sequent Linear logic Cut-elimination theorem Noncommutative logic Rule of inference Soundness Natural deduction CurryHoward correspondence
7	Low-Rank Tensors for Scoring Dependency Structures Tao Lei, Yu Xin, Yuan Zhang, Regina Barzilay, and Tommi Jaakkola Computer Science and Artificial Intelligence Laboratory Massachusetts Institute of Technology {taolei, y Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2014-05-27 13:12:59 Algebra Mathematics Binary operations Vector calculus Tensors Tensor Euclidean vector Parsing Cross product Word embedding
8	Optimized Reasoning in Description Logics using Hypertableaux Boris Motik, Rob Shearer, and Ian Horrocks University of Manchester, UK Abstract. We present a novel reasoning calculus for Description Logics Add to Reading List Source URL: www.hermit-reasoner.com Language: English - Date: 2012-02-03 12:06:02 Mathematics Algebraic structures Transitive closure Ring
9	Reducts of structures and maximal-closed permutation groups Manuel Bodirsky∗, Laboratoire d’Informatique (LIX), CNRS UMR 7161, Ecole Polytechnique, 91128 Palaiseau, France, Add to Reading List Source URL: www1.maths.leeds.ac.uk Language: English - Date: 2014-01-29 07:07:24 Group theory Lie groups Non-associative algebras Lie algebras Constructible universe Equivalence relation Model theory Mutation Order Group action Vertex operator algebra Lambda calculus
10	SciFe: Scala Framework for Efficient Enumeration of Data Structures with Invariants Add to Reading List Source URL: lampwww.epfl.ch Language: English - Date: 2014-07-29 07:43:08 Software engineering Computer programming Computing Search algorithms Data types Type theory Enumerated type Lambda calculus Scala Foreach loop Combinatory logic Comparison of C Sharp and Java

UPDATE